Віталік Бутерін надає докладне введення до Binius, високоефективної системи доказів на основі бінарних полів. У статті спочатку розглядаються концепції скінченних полів та арифметизації, пояснюючи, як працюють системи доказів SNARK та STARK, перетворюючи оператори програми на поліноміальні рівняння. Віталік вказує на те, що, хоча Plonky2 довів, що використання менших 64-бітних та 31-бітних полів може значно покращити ефективність генерації доказів, Binius подальшим чином підвищує ефективність, працюючи безпосередньо з нулями й одиницями, використовуючи можливості бінарних полів. Binius використовує багатовимірні поліноми для представлення обчислювальних слідів та використовує низку математичних трюків, включаючи концепцію гіперкубів та кодування Ріда-Соломона, для побудови доказів. Віталік вважає, що пряма обчислювальна здатність бінарних полів та операції з бітами є ключовими для ефективності Binius.
5/16/2024, 8:13:43 AM